Controllable Test Cases for the Distributed Test Architecture
نویسندگان
چکیده
In the distributed test architecture, a system with multiple ports is tested using a tester at each port/interface, these testers cannot communicate with one another and there is no global clock. Recent work has defined an implementation relation for testing against an inputoutput transition system in the distributed test architecture. However, this framework placed no restrictions on the test cases and, in particular, allowed them to produce some kind of nondeterminism. In addition, it did not consider the test generation problem. This paper explores the class of controllable test cases for the distributed test architecture, defining a new implementation relation and a test generation algorithm.
منابع مشابه
Controllability Through Nondeterminism in Distributed Testing
If the system under test interacts with its environment at physically distributed ports, there is a separate independent tester at each port, and there is no global clock then we are testing in the distributed test architecture. It is known that the distributed test architecture can lead to additional controllability problems in which a tester cannot know when to send an input and this has led ...
متن کاملDistinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences
This paper concerns the problem of testing from a finite state machine (FSM) M modelling a system that interacts with its environment at multiple physically distributed interfaces, called ports. We assume that the distributed test architecture is used: there is a local tester at each port, the tester at port p only observes events at p, and the testers do not interact during testing. This paper...
متن کاملبرنامه ریزی بهینۀ مدیریت بارهای کنترل پذیر و مشارکت واحدهای تولید همزمان برق و حرارت در حضور ذخیره ساز الکتریکی
With development of distributed generation in industrial microgrids (IMGs), the energy management program is used for optimal scheduling of production and consumption that reduced the operation cost. By restructuring in power systems and increasing energy prices in some hours of the day, more attention has been paid to the demand side management programs. In this paper a new model for controlla...
متن کاملImplementation of Low-Cost Architecture for Control an Active Front End Rectifier
In AC-DC power conversion, active front end rectifiers offer several advantages over diode rectifiers such as bidirectional power flow capability, sinusoidal input currents and controllable power factor. A digital finite control set model predictive controller based on fixed-point computations of an active front end rectifier with unity displacement of input voltage and current to improve dynam...
متن کاملConformance Testing of Objects in Distributed Processing Systems
The object model is a very popular paradigm for building distributed applications. Several standardisation efforts are underway that define architectures for distributed computing based on the object model. With object-based service specifications the need for conformance testing of object implementations arises to ensure that objects act as intended. The issue of conformance testing is of part...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008